IntroductionTranscranial magnetic stimulation is a consolidated procedure for the treatment of depression, with several meta-analyses demonstrating its efficacy. Theta-burst stimulation is a modification of TMS with similar efficacy and shorter session duration. The geriatric population has many comorbidities and a high prevalence of depression, but few clinical trials are conducted specifically for this age group. TBS could be an option in this population, offering the advantages of few side effects and no pharmacological interactions. Therefore, our aim is to investigate the (...) efficacy of TBS in geriatric depression.Clinical trial registration[https://clinicaltrials.gov/ct2/], identifier [NCT04842929]. (shrink)

This paper argues that professionals who make boundary-related decisions should be guided by relationship-based practice. In our roles as service users and professionals, drawing from our lived experiences of professional relationships, we argue we need to move away from distance-based practice. This includes understanding the boundary stories and narratives that exist for all of us – including the people we support, other professionals, as well as the organisations and systems within which we work. When we are dealing with professional boundary (...) issues, we should centre relationship-building skills that are central to many other aspects of our work. Skills that foster relationships at all levels – between professionals, service users, and services – need to be revalued. Our final recommendation is to create, develop, and foster safer spaces within and outside of organisations, as well as inter-professionally, for the discussion and exploration of boundary-related issues and practice. We are interested in hearing from those with experiences of being marginalised by boundaries so that they can inform a reshaping of our collective ideas around boundary related practices. To foster relationship-based practices in organisations, we have outlined several recommendations here; however, we recognize that these do not go far enough, and that collective action is needed to inform systemic change. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Philosophers have long debated whether, if determinism is true, we should hold people morally responsible for their actions since in a deterministic universe, people are arguably not the ultimate source of their actions nor could they have done otherwise if initial conditions and the laws of nature are held fixed. To reveal how non-philosophers ordinarily reason about the conditions for free will, we conducted a cross-cultural and cross-linguistic survey (N = 5,268) spanning twenty countries and sixteen languages. Overall, participants tended (...) to ascribe moral responsibility whether the perpetrator lacked sourcehood or alternate possibilities. However, for American, European, and Middle Eastern participants, being the ultimate source of one’s actions promoted perceptions of free will and control as well as ascriptions of blame and punishment. By contrast, being the source of one’s actions was not particularly salient to Asian participants. Finally, across cultures, participants exhibiting greater cognitive reflection were more likely to view free will as incompatible with causal determinism. We discuss these findings in light of documented cultural differences in the tendency toward dispositional versus situational attributions. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

The modal logician's notion of possible world and the computer scientist's notion of state of a machine provide a point of commonality which can form the foundation of a logic of action. Extending ordinary modal logic with the calculus of binary relations leads to a very natural logic for describing the behavior of computer programs.

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

Book reviewed in this article: Ethical Issues in Social Research. Edited by Tom L. Beauchamp, Ruth R. Faden, R. Jay Wallace, Jr., and LeRoy Walters. Baltimore: The Johns Hopkins University Press, 1982. xii + 436 pp. $25.00 (hardcover); $8.95 (paper). Ethics of Human Subject Research. Edited by Allan J. Kimmel, Jr. San Francisco: Jossey‐Bass, 1981. 106 pp. $6.95 (paper). Social Research Ethics. Edited by Martin Bulmer. New York: Holmes & Meier, 1982. xiv + 284 pp. $39.50 (hardcover); $14.50 (paper). The (...) Ethics of Social Research: Field‐work, Regulation and Publication. Edited by Joan E. Sieber. New York: Springer‐Verlag, 1982. x + 187 pp. $23.50 (hardcover). The Ethics of Social Research: Surveys and Experiments. Edited by Joan E. Sieber. New York: Springer‐Verlag, 1982. xii + 249 pp. $23.50 (hardcover). (shrink)

A Síndrome de Kabuki é um distúrbio bastante raro, com múltiplas anomalias congênitas. O objetivo do estudo foi descrever características comportamentais, cognitivas e sociais de uma criança com seis anos de idade com Síndrome de Kabuki, e suas implicações no processo escolar. Como resultados, verif..

Psychophysical experiments have demonstrated large and highly systematic perceptual distortions of tactile space. Such a space can be referred to our experience of the spatial organisation of objects, at representational level, through touch, in analogy with the familiar concept of visual space. We investigated the neural basis of tactile space by analysing activity patterns induced by tactile stimulation of nine points on a 3 × 3 square grid on the hand dorsum using functional magnetic resonance imaging. We used a searchlight (...) approach within pre-defined regions of interests to compute the pairwise Euclidean distances between the activity patterns elicited by tactile stimulation. Then, we used multidimensional scaling to reconstruct tactile space at the neural level and compare it with skin space at the perceptual level. Our reconstructions of the shape of skin space in contralateral primary somatosensory and motor cortices reveal that it is distorted in a way that matches the perceptual shape of skin space. This suggests that early sensorimotor areas critically contribute to the distorted internal representation of tactile space on the hand dorsum. (shrink)

Tactile distance perception is believed to require that immediate afferent signals be referenced to a stored representation of body size and shape (the body model). For this ability, recent studies have reported that the stored body representations involved are highly distorted, at least in the case of the hand, with the hand dorsum represented as wider and squatter than it actually is. Here, we aim to define the neural basis of this phenomenon. In a behavioural experiment participants estimated the distance (...) between touches on two points by adjusting the length of a visually-presented line on the screen. The technique of multidensional scaling (MDS) was used to reconstruct a perceptual map of tactile space. Analysis of spatial distortion using Procrustes alignment showed that maps were stretched in the mediolateral hand axis. In order to determine the neural correlates of these body distortions, we performed an fMRI study. For each participant, we used a searchlight pattern classifier with Euclidean distance on pre-defined regions of interests (ROIs). In order to relate the representations between the different points and to computational models, we compare response-pattern dissimilarity matrices in these ROIs. Similar to the behavioural experiment, we used MDS to reconstruct maps of the neural representation of tactile space using the values from the dissimilarities matrices. We were able to reconstruct the perceptual map of tactile space in the contralateral primary somatosensory and motor cortices. This suggests that these areas are critical to generate the tactile representations of the dorsum of the hand. (shrink)

We examined the neural basis of tactile distance perception by analyzing activity patterns induced by tactile stimulation of nine points on a 3 x 3 square grid on the hand dorsum using functional magnetic resonance (fMRI). We used a searchlight approach within pre-defined regions of interests (ROIs) to compute the pairwise Euclidean distances between the activity patterns elicited by tactile stimulation. Then, we used multidimensional scaling (MDS) to reconstruct skin space at the neural level and compare it with skin space (...) at the perceptual level. Our reconstructions of the shape of skin space in contralateral primary somatosensory (SI) and motor (M1) cortices reveal that it is distorted in a way that matches the perceptual shape of skin space. This suggests that early sensorimotor areas are critical to processing tactile distance perception. (shrink)

Dynamic algebras combine the classes of Boolean (B 0) and regular (R ; *) algebras into a single finitely axiomatized variety (B R ) resembling an R-module with scalar multiplication . The basic result is that * is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main result (...) is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of prepositional dynamic logic, and yet another notion of regular algebra. (shrink)

Contemporary philosophy (at least in English-speaking world) is dominated by discussions between foundationalism and externalism on the other hand. R. Chisholm defends foundationalistic and internalistic position. Epistemological foundationalism is the thesis that there are basic beliefs which are the foundation for the justificaction of others. According to Chisholm such basic beliefs are some simple truths of reason and some beliefs about the self-presenting states like thinking, seeming or sensing. There are some problems with such basic beliefs, but Chisholm's main important (...) argument is that here is no alternative to foundationalism in epistemology, because its opponent, the coherence theory, presupposes some form of foundationalism. The discussion between internalism and externalism is more recent. Externalism claims that what makes our beliefs justified is something external to subject, It may be truth, causal relations or counterfactual relations. According to Chisholm all externalistic theories are either empty (they reduce justification to truth) or they use some internalistic concepts. He gives some counterexamples to the theory by A. Goldman (one of the most important proponents of externalism). Internalists claim that what can make our beliefs justified must be something internal, accessible to subject. (shrink)

Review & Reply. Review of Gonçalves, R.T. (tr.) Lucrécio. Sobre a Natureza das Coisas(2021).

The Cambridge Companion to Ancient Scepticism. R. Bett (Ed.), New York: Cambridge University Press 2010, pp. 380+xii, ISBN 780521697545. -/- The Cambridge Companion to Ancient Scepticism, edited by Richard Bett, consists of an Introduction and fifteen papers written by international authors (three of them have been diligently translated into English by the editor). The volume presents the major figures of ancient skepticism and the major interpretational problems. Separate papers are devoted to Pyrrho of Elis (Svavar Hrafn Svavarsson), Arcesilaus and Carneades (...) (Harald Thorsrud), Aenesidemus (R.J. Hankinson) and Sextus Empiricus (Pierre Pellegrin). Agrippa seems to be the only missing figure on the list. Moreover, we can also find a lot of information about the minor figures of ancient skepticism. Mi-Kyoung Lee presents skeptical ideas in early Greek philosophy and Carlos Levy writes about the later academic skeptics, especially Clitomachus, Philo of Larissa and Cicero. Richard Bett in his Introduction lists the most important problems in interpreting ancient skepticism: What kinds of belief, if any, are open to a skeptic? Can a skeptic allow for choice and action and if so, then how? Is skepticism compatible with an ethical outlook? Is there a real difference between the Academic and Pyrrhonist varieties of skepticism? Casey Perin takes on the first one, Katja Maria Vogt—the second, Richard Bett—the third, and Gisela Striker—the last one. We also have the next five papers presenting other important aspects of ancient skepticism. Paul Woodruff writes about skeptical modes, James Allen about the relation between Pyrrhonism and medical schools, Emidio Spinelli about the critique of specialized sciences, Luciano Floridi about the modern rediscovery of ancient skepticism, and Michael Williams about its Cartesian transformation. The Companion is very rich in content and very up-to-date, presenting the latest hypotheses. Here I would like to discuss the problem of Pyrrho’s place within the skeptical tradition. (shrink)

Trust is an attitude that an agent (the trustor) has toward an entity (the trustee), such that the trustor counts upon the trustee to act in a way that is benefi- cial w.r.t. to the trustor’s goals. The notion of trust is relevantly discussed both in in- formation science and philosophy. Unfortunately, we still lack a satisfying account for this concept. The goal of this article is to contribute to filling this gap. First, we take issue with some central tenets (...) shared by the main philosophical accounts, such as that there is just one relation of trust, that this relation has three argument places, and that trust is reliance plus some extra factor. Second, we provide a novel account of trust, also discussing different levels of trust. According to the account we put forth here, the logical form of trust sentences is expressed by a four-place relation. Further, we distinguish and characterize four kinds of trust relations and their connections. We also argue that trust and reliance are different phenomena. Third, on the basis of the proposed account, we extend the Reference Ontology of Trust (ROT). We call the new version of ROT that includes this extension ”ROT 3.0”. Finally, we discuss the implications of the new ontological definitions in the applications we have done of the concept of trust in other works, also pointing out future applications made possible by these novel accounts of trust. (shrink)

_Cogito and the Unconscious_ Edited by Slavoj Zizek SIC: A series edited by Slavoj Zizek and Renata Salecl Durham and London: Duke University Press, 1998 ISBN 0-8223-2097-5 279 pp.

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

This paper examines the perceived ethical values of Malaysian managers. It is based on the opinions of 15 hypothetical ethical/unethical business situations from the 81 managers who agreed to participate in the survey. The findings of this study showed that these Malaysian managers have high ethical values. However 53% of the respondents believed that the ethical standards of today are lower than that of 15 years ago. Apparently, this is related to the existence of many unethical business practices prevalent in (...) the modern business world. The behavior of one's immediate superior is the most important factor in influencing managers to commit unethical practices. The results also indicate only a slight variation among the managers in terms of perceived ethical values by virtue of job position, job specialization, type of business activity or the size of the business organization. (shrink)

Bourbaki suggest that their definition of the number 1 runs to some tens of thousands of symbols. We show that that is a considerable under-estimate, the true number of symbols being that in the title, not counting 1 179 618 517 981 links between symbols that are needed to disambiguate the whole expression.

Informed consent is reviewed as it applies to psychiatric patients. Although new legislation, such as the Mental Health Act 1983, provides a useful safeguard for the protection of the civil rights of patients, it could actually reduce their humane care unless applied with sensitivity for the nature of their unique difficulties. In order to guard against this possibility, we suggest that legal requirements should be considered in light of the ethical principles which underlie them. Three principles are considered: those of (...) autonomy (freedom); beneficence (paternalism); and the fiduciary principle (partnership). Psychotherapy is offered as a model for informed consent, which might be generalised to other clinical situations. (shrink)

In the climate of concern about high medical costs, the relationship between the trade and professional aspects of medical practice is receiving close scrutiny. In the United Kingdom there is talk of increasing privatisation of health services, and in the United States the Federal Trade Commission (FTC) has attempted to define medicine as a trade for the purposes of commercial regulation. The Supreme Court recently upheld the FTC charge that the American Medical Association (AMA) has been in restraint of trade (...) because of ethical strictures against advertising. The concept of profession, as it has been analyzed in sociological, legal, philosophical, and historical perspectives, reveals the importance of an ethic of service as well as technical expertise as defining characteristics of professions. It is suggested that the medical profession should pay more attention to its service ideal at this time when doctors are widely perceived to be technically preoccupied. (shrink)

Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula Φ(λ, a) such that for any sequence $\langle A_{\lambda} \mid \lambda \text{a limit ordinal} \rangle$ where for each $\lambda, A_{\lambda} \subseteq ^{\lambda}2$ , there is a supertransitive inner model of Zermelo containing all ordinals in which for every λ A (...) λ = {α ∣Φ(λ, a)}. (shrink)

Saunders Mac Lane has drawn attention many times, particularly in his book Mathematics: Form and Function, to the system of set theory of which the axioms are Extensionality, Null Set, Pairing, Union, Infinity, Power Set, Restricted Separation, Foundation, and Choice, to which system, afforced by the principle, , of Transitive Containment, we shall refer as . His system is naturally related to systems derived from topos-theoretic notions concerning the category of sets, and is, as Mac Lane emphasises, one that is (...) adequate for much of mathematics. In this paper we show that the consistency strength of Mac Lane's system is not increased by adding the axioms of Kripke–Platek set theory and even the Axiom of Constructibility to Mac Lane's axioms; our method requires a close study of Axiom H, which was proposed by Mitchell; we digress to apply these methods to subsystems of Zermelo set theory , and obtain an apparently new proof that is not finitely axiomatisable; we study Friedman's strengthening of , and the Forster–Kaye subsystem of , and use forcing over ill-founded models and forcing to establish independence results concerning and ; we show, again using ill-founded models, that proves the consistency of ; turning to systems that are type-theoretic in spirit or in fact, we show by arguments of Coret and Boffa that proves a weak form of Stratified Collection, and that is a conservative extension of for stratified sentences, from which we deduce that proves a strong stratified version of ; we analyse the known equiconsistency of with the simple theory of types and give Lake's proof that an instance of Mathematical Induction is unprovable in Mac Lane's system; we study a simple set theoretic assertion—namely that there exists an infinite set of infinite sets, no two of which have the same cardinal—and use it to establish the failure of the full schema of Stratified Collection in ; and we determine the point of failure of various other schemata in . The paper closes with some philosophical remarks. (shrink)

Donald C. Williams was a key figure in the development of analytic philosophy. This book will be the definitive source for his highly original work, which did much to bring metaphysics back into fashion. It presents six classic papers and six previously unpublished, revealing his full philosophical vision for the first time.

In this chapter, we introduce the perennial and sometimes sprawling topic of properties, with a brief historical sketch from Ancient to Modern philosophy throughout various cultures and traditions. We argue that the importance of properties can be shown by explaining what explanatory work they can do in philosophical theorising across many areas of philosophy. The chapters in this volume do just that in their specific ways. We also outline the structure of the volume and summarise each Part, first describing the (...) larger context of each Part and then the upshot of each chapter. (shrink)

Samuel Alexander was a central figure of the new wave of realism that swept across the English-speaking world in the early twentieth century. His Space, Time, and Deity (1920a, 1920b) was taken to be the official statement of realism as a metaphysical system. But many historians of philosophy are quick to point out the idealist streak in Alexander’s thought. After all, as a student he was trained at Oxford in the late 1870s and early 1880s as British Idealism was beginning (...) to flourish. This naturally had some effect on his philosophical outlook and it is said that his early work is overtly idealist. In this paper I examine his neglected and understudied reactions to British Idealism in the 1880s. I argue that Alexander was not an idealist during this period and should not be considered as part of the British Idealist tradition, philosophically speaking. (shrink)